Skip to content

Conversation

@bidoubiwa
Copy link
Contributor

Update to version v0.10.1

@bidoubiwa bidoubiwa added the skip-changelog The PR will not appear in the release changelogs label Dec 1, 2022
@bidoubiwa
Copy link
Contributor Author

bors merge

@meili-bors
Copy link
Contributor

meili-bors bot commented Dec 1, 2022

@meili-bors meili-bors bot merged commit 36cb662 into main Dec 1, 2022
@meili-bors meili-bors bot deleted the update_to_version_v0.10.1 branch December 1, 2022 15:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

skip-changelog The PR will not appear in the release changelogs

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants